Artikel in der Kategorie mathematischer logiker (20. jahrhundert)